\section{Acknowledgments}
As a concluding note, we'd like to thank Prof. Viktor Kuncak for its unmatchable availability and insightful remarks, Lex Spoon for its help on writing a plugin for \texttt{scalac}, and the entire Scala Development Team for continuously improving an already great language.
